Самая большая электронная библиотека рунета. Поиск книг и журналов
#25
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture ... Programming and Software Engineering)
Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani
#28
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture Notes ... Programming and Software Engineering)
Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani
Показаны далеко не все результаты, удовлетворяющие вашему запросу. Чтобы увидеть другие результаты, пожалуйста, уточните запрос.
|